Theorem 2.9 in measurable sets